Sobre la automatización del razonamiento y el aprendizaje en lógicas modales

Authors: Yensen Limón, Everardo Bárcenas, Guillermo Molero-Castillo, Rocío Aldeco-Pérez

Research in Computing Science, Vol. 149(8), pp. 893-906, 2020.